abstractio相关论文
This paper adopts counterexample guided abstraction refinement scheme to alleviate the state explosion problem of deadlo......
针对大型系统多故障诊断的复杂性,提出利用抽象技术建立的简化层次模型进行诊断。把抽象技术分为结构抽象和行为抽象,结构抽象建立......